- 2 402 202 книги
#1
Counter-Cultures in Germany an Central Europe: From Sturm Und Drang to Baader-Meinhof (German Edition)
Steve Giles, Maike Oergel
1.44 Mb
#3
Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings (Lecture Notes in Artificial Intelligence 2741)
Franz Baader
4.62 Mb
#4
The Description Logic Handbook: Theory, Implementation and Applications
Franz Baader (editor), Diego Calvanese (editor), Deborah L. McGuinness (editor), Daniele Nardi (editor), Peter F. Patel-Schneider (editor)
5.10 Mb
#15
Volkssagen aus dem Lande Baden und den angrenzenden Gegenden
Baader BernhardКатегория: fiction
264 Kb
#16
Baader F., et al. The description logic handbook.. Theory, implementation and applications (CUP,2003)(ISBN 0521781760)(573s)_CsAi_.pdf
2.20 Mb
#17
The description logic handbook: Theory, implementation and applications
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider
2.20 Mb
#18
Term rewriting and all that
Franz Baader, Tobias NipkowКатегория: Cs_Computer science, CsAl_Algorithms
2.40 Mb
#19
Term Rewriting and Applications, 18 conf., RTA 2007
Franz BaaderКатегория: Cs_Computer science, CsLn_Lecture notes
4.02 Mb
#20
The Description Logic Handbook
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-SchneiderКатегория: Academic books, Theology
4.19 Mb
#21
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Franz Baader
5.72 Mb
#22
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings
Franz Baader, Gerhard Brewka, Thomas Eiter
4.09 Mb
#23
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Franz Baader, Andrei Voronkov
5.17 Mb
